形式验证

首页 > 形式验证

摘要:本文介绍了基于深亚微米CMOS工艺ASIC电路设计流程中的静态验证方法。将这种验证方法与以往的动态验证方法进行了比较,结果表明,前者比后者更加高效和准确。...

专用集成电路电路综合静态验证静态时序分析形式验证 2006-12-04

在线研讨会

焦点